On characteristic equations, trace identities and Casimir operators of simple Lie algebras

Two approaches are developed to exploit, for simple complex or compact real Lie algebras g, the information that stems from the characteristic equations of representation matrices and Casimir operators. These approaches are selected so as to be viable not only for `small' Lie algebras and suitable for treatment by computer algebra. A very large body of new results emerges in the forms, a) of identities of a tensorial nature, involving structure constants etc. of g, b) of trace identities for powers of matrices of the adjoint and defining representations of g, c) of expressions of non-primitive Casimir operators of g in terms of primitive ones. The methods are sufficiently tractable to allow not only explicit proof by hand of the non-primitive nature of the quartic Casimir of g2, f4, e6, but also e.g. of that of the tenth order Casimir of f4.Comment: 39 pages, 8 tables, late

Church-Rosser Systems, Codes with Bounded Synchronization Delay and Local Rees Extensions

What is the common link, if there is any, between Church-Rosser systems, prefix codes with bounded synchronization delay, and local Rees extensions? The first obvious answer is that each of these notions relates to topics of interest for WORDS: Church-Rosser systems are certain rewriting systems over words, codes are given by sets of words which form a basis of a free submonoid in the free monoid of all words (over a given alphabet) and local Rees extensions provide structural insight into regular languages over words. So, it seems to be a legitimate title for an extended abstract presented at the conference WORDS 2017. However, this work is more ambitious, it outlines some less obvious but much more interesting link between these topics. This link is based on a structure theory of finite monoids with varieties of groups and the concept of local divisors playing a prominent role. Parts of this work appeared in a similar form in conference proceedings where proofs and further material can be found.Comment: Extended abstract of an invited talk given at WORDS 201

Harmonic Superspace, Minimal Unitary Representations and Quasiconformal Groups

We show that there is a remarkable connection between the harmonic superspace (HSS) formulation of N=2, d=4 supersymmetric quaternionic Kaehler sigma models that couple to N=2 supergravity and the minimal unitary representations of their isometry groups. In particular, for N=2 sigma models with quaternionic symmetric target spaces of the form G/HXSU(2) we establish a one-to-one mapping between the Killing potentials that generate the isometry group G under Poisson brackets in the HSS formulation and the generators of the minimal unitary representation of G obtained by quantization of its geometric realization as a quasiconformal group. Quasiconformal extensions of U-duality groups of four dimensional N=2, d=4 Maxwell-Einstein supergravity theories (MESGT) had been proposed as spectrum generating symmetry groups earlier. We discuss some of the implications of our results, in particular, for the BPS black hole spectra of 4d, N=2 MESGTs.Comment: 20 pages; Latex file: references added; minor cosmetic change

Representations of the exceptional and other Lie algebras with integral eigenvalues of the Casimir operator

The uniformity, for the family of exceptional Lie algebras g, of the decompositions of the powers of their adjoint representations is well-known now for powers up to the fourth. The paper describes an extension of this uniformity for the totally antisymmetrised n-th powers up to n=9, identifying (see Tables 3 and 6) families of representations with integer eigenvalues 5,...,9 for the quadratic Casimir operator, in each case providing a formula (see eq. (11) to (15)) for the dimensions of the representations in the family as a function of D=dim g. This generalises previous results for powers j and Casimir eigenvalues j, j<=4. Many intriguing, perhaps puzzling, features of the dimension formulas are discussed and the possibility that they may be valid for a wider class of not necessarily simple Lie algebras is considered.Comment: 16 pages, LaTeX, 1 figure, 9 tables; v2: presentation improved, typos correcte

HAG1 and SWI3A/B control of male germ line development in P. patens suggests conservation of epigenetic reproductive control across land plants

Bryophytes as models to study the male germ line: loss-of-function mutants of epigenetic regulators HAG1 and SWI3a/b demonstrate conserved function in sexual reproduction

Generalized spacetimes defined by cubic forms and the minimal unitary realizations of their quasiconformal groups

We study the symmetries of generalized spacetimes and corresponding phase spaces defined by Jordan algebras of degree three. The generic Jordan family of formally real Jordan algebras of degree three describe extensions of the Minkowskian spacetimes by an extra "dilatonic" coordinate, whose rotation, Lorentz and conformal groups are SO(d-1), SO(d-1,1) XSO(1,1) and SO(d,2)XSO(2,1), respectively. The generalized spacetimes described by simple Jordan algebras of degree three correspond to extensions of Minkowskian spacetimes in the critical dimensions (d=3,4,6,10) by a dilatonic and extra (2,4,8,16) commuting spinorial coordinates, respectively. The Freudenthal triple systems defined over these Jordan algebras describe conformally covariant phase spaces. Following hep-th/0008063, we give a unified geometric realization of the quasiconformal groups that act on their conformal phase spaces extended by an extra "cocycle" coordinate. For the generic Jordan family the quasiconformal groups are SO(d+2,4), whose minimal unitary realizations are given. The minimal unitary representations of the quasiconformal groups F_4(4), E_6(2), E_7(-5) and E_8(-24) of the simple Jordan family were given in our earlier work hep-th/0409272.Comment: A typo in equation (37) corrected and missing titles of some references added. Version to be published in JHEP. 38 pages, latex fil

Reverse Engineering Time Discrete Finite Dynamical Systems: A Feasible Undertaking?

With the advent of high-throughput profiling methods, interest in reverse engineering the structure and dynamics of biochemical networks is high. Recently an algorithm for reverse engineering of biochemical networks was developed by Laubenbacher and Stigler. It is a top-down approach using time discrete dynamical systems. One of its key steps includes the choice of a term order, a technicality imposed by the use of Gröbner-bases calculations. The aim of this paper is to identify minimal requirements on data sets to be used with this algorithm and to characterize optimal data sets. We found minimal requirements on a data set based on how many terms the functions to be reverse engineered display. Furthermore, we identified optimal data sets, which we characterized using a geometric property called “general position”. Moreover, we developed a constructive method to generate optimal data sets, provided a codimensional condition is fulfilled. In addition, we present a generalization of their algorithm that does not depend on the choice of a term order. For this method we derived a formula for the probability of finding the correct model, provided the data set used is optimal. We analyzed the asymptotic behavior of the probability formula for a growing number of variables n (i.e. interacting chemicals). Unfortunately, this formula converges to zero as fast as , where and . Therefore, even if an optimal data set is used and the restrictions in using term orders are overcome, the reverse engineering problem remains unfeasible, unless prodigious amounts of data are available. Such large data sets are experimentally impossible to generate with today's technologies

Topological wave functions and heat equations

It is generally known that the holomorphic anomaly equations in topological string theory reflect the quantum mechanical nature of the topological string partition function. We present two new results which make this assertion more precise: (i) we give a new, purely holomorphic version of the holomorphic anomaly equations, clarifying their relation to the heat equation satisfied by the Jacobi theta series; (ii) in cases where the moduli space is a Hermitian symmetric tube domain $G/K$, we show that the general solution of the anomaly equations is a matrix element \IP{\Psi | g | \Omega} of the Schr\"odinger-Weil representation of a Heisenberg extension of $G$, between an arbitrary state $\bra{\Psi}$ and a particular vacuum state $\ket{\Omega}$. Based on these results, we speculate on the existence of a one-parameter generalization of the usual topological amplitude, which in symmetric cases transforms in the smallest unitary representation of the duality group $G'$ in three dimensions, and on its relations to hypermultiplet couplings, nonabelian Donaldson-Thomas theory and black hole degeneracies.Comment: 50 pages; v2: small typos fixed, references added; v3: cosmetic changes, published version; v4: typos fixed, small clarification adde

PEATmoss (Physcomitrella Expression Atlas Tool): a unified gene expression atlas for the model plant Physcomitrella patens

Abstract Physcomitrella patens is a bryophyte model plant that is often used to study plant evolution and development. Its resources are of great importance for comparative genomics and evo-devo approaches. However, expression data from Physcomitrella patens were so far generated using different gene annotation versions and three different platforms: CombiMatrix and NimbleGen expression microarrays and RNA sequencing. The currently available P. patens expression data are distributed across three tools with different visualization methods to access the data. Here, we introduce an interactive expression atlas, Physcomitrella Expression Atlas Tool (PEATmoss), that unifies publicly available expression data for P. patens and provides multiple visualization methods to query the data in a single web-based tool. Moreover, PEATmoss includes 35 expression experiments not previously available in any other expression atlas. To facilitate gene expression queries across different gene annotation versions, and to access P. patens annotations and related resources, a lookup database and web tool linked to PEATmoss was implemented. PEATmoss can be accessed at https://peatmoss.online.uni-marburg.d